Nuprl Definition : rframe-p 0,22

@i: only members of L read x == k:Knd. hasloc(k;i (k  L es-independent(es;i;k;x
latex



clarification:

rframe-p(es;i;x;L) == k:Knd. hasloc(k;i (k  L  Knd)  es-independent(es;i;k;x
latex


Definitionsx:AB(x), b, hasloc(k;i), P  Q, A, (x  l), Knd, es-independent(es;i;k;x)
FDL editor aliasesrframe-p

origin